This file has been formatted with
GNU Source-highlight, http://www.gnu.org/software/src-highlite
by Lorenzo Bettini <bettini@gnu.org>

---